Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
11	AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory
12	Page 1 / 1 Edward Frenkel’s interview to the Brazilian newspaper Valor Econômico, Q: I am not going to lie to you: Math was not my favorite class in school. I thought it was too abstract and, later on, it w Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2015-04-11 14:55:24 Finite fields XTR Modal logic Coding theory Vacuous truth Exponential mechanism Mathematics Logic Abstract algebra
13	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
14	COXETER-KNUTH GRAPHS AND A SIGNED LITTLE MAP FOR TYPE B REDUCED WORDS SARA BILLEY, ZACHARY HAMAKER, AUSTIN ROBERTS AND BENJAMIN YOUNG Abstract. We define an analog of David Little’s algorithm for reduced words in type Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-09-15 19:11:10 Symmetric functions Algebraic combinatorics Coxeter group Graph theory Representation theory Young tableau Harold Scott MacDonald Coxeter Littlewood–Richardson rule Modal logic Abstract algebra Mathematics Algebra
15	NetKAT: Semantic Foundations for Networks Carolyn Jane Anderson Swarthmore College ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-11-14 14:04:02 Model theory Secure Shell Modal logic Interpretation Kleene algebra Logic Mathematical logic Formal languages
16	The Disjunction and Conjunction Theses Gonzalo Rodriguez-Pereyra This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my mai Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-05-18 11:40:49 Semantics Veracity Boolean algebra Propositional calculus Truthmaker Negation Logical truth Truth Modal logic Logic Philosophy Philosophical logic
17	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective Propositional calculus FO Modal depth Propositional formula Logic Mathematical logic Modal logic
18	1 IMQ ---------------------- Add to Reading List Source URL: www.afscet.asso.fr Language: English - Date: 2012-03-06 03:00:30 Symmetry Group action Modal logic Weight G factor Abstract algebra Algebra Group theory
19	Zero-Shot Learning Through Cross-Modal Transfer Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng Computer Science Department, Stanford University, Stanford, CA 94305, US Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-20 21:51:47 Computational linguistics Natural language processing Abstract algebra Linear algebra Information retrieval One-shot learning Semantic similarity Latent semantic analysis Euclidean vector Algebra Mathematics Science

UPDATE